Results for 'Stan1slaw J. Surma'

961 found
Order:
  1. The concept of the Lindenbaum algebra: its genesis.Stan1slaw J. Surma - 1973 - In Stanisław J. Surma (ed.), Studies in the history of mathematical logic. Wrocław,: Zakład Narodowy im. Ossolinskich. pp. 239--253.
     
    Export citation  
     
    Bookmark  
  2.  24
    On Jaśkowski-type semantics for the intuitionistic propositional logic.Stanisław J. Surma, Andrzej Wroński & Stanisław Zachorowski - 1975 - Studia Logica 34 (2):145-148.
  3.  10
    Twierdzenia o dedukcji niewprost.Stanisław J. Surma - 1967 - Studia Logica 20 (1):151-160.
  4.  19
    Cztery studia z metamatematyki.Stanisław J. Surma - 1968 - Studia Logica 23 (1):79-102.
  5.  34
    Nota w sprawie twierdzeń o dedukcji nie wprost ważnych w skończenie wielowartościowych rachunkach zdań Ŀukasiewicza.Stanisŀaw J. Surma - 1973 - Studia Logica 31 (1):139-141.
  6.  16
    The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright.Stanisŀaw J. Surma - 1973 - Studia Logica 31 (1):127-136.
  7.  12
    Twierdzenia o dedukcji dla implikacji zstępujących.Stanisław J. Surma - 1968 - Studia Logica 22 (1):61-77.
  8.  16
    An Axiomatisation of the Conditionals of Post's Many Valued Logics.Stan J. Surma - 1995 - Mathematical Logic Quarterly 41 (3):369-372.
    The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  42
    A galois connection.Stan J. Surma - 2007 - Logica Universalis 1 (1):209-219.
    . The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. A generalisation of the Tarski-herbrand deduction theorem.S. J. Surma - 1991 - Logique Et Analyse 135 (133-140):319-331.
     
    Export citation  
     
    Bookmark  
  11.  30
    A note on indirect deduction theorems valid in łukasiewicz's finitely-valued propositional calculi.S. J. Surma - 1973 - Studia Logica 31 (1):142-142.
  12. A survey of various concepts of completeness of the deductive theories1.Stanblaw J. Surma - 1973 - In Stanisław J. Surma (ed.), Studies in the history of mathematical logic. Wrocław,: Zakład Narodowy im. Ossolinskich. pp. 279.
     
    Export citation  
     
    Bookmark  
  13. A survey of the results and methods of investigations of the eqltvalential proposmonal calculus1.Stanistaw J. Surma - 1973 - In Stanisław J. Surma (ed.), Studies in the history of mathematical logic. Wrocław,: Zakład Narodowy im. Ossolinskich. pp. 33.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  16
    Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g.Stan J. Surma - 2004 - Annals of Pure and Applied Logic 127 (1-3):229-242.
    The method based on the idea of Galois connection is well known. It facilitates investigations into similarities between mathematical structures, including isomorphisms between these structures, the highest degree of similarity. This idea is employed here and adapted so as to get to the core of aspects of the relationship between some metamathematical structures. The focus is put on the relation between traditional methodological orthodoxy based on the idea of proof , on the one hand, and on some alternative methodological set-ups (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  13
    Between Galois connections and (some metamathematical) solutions of equations< i> fgf=< i> f_ and< i> gfg_=< i> g.Stan J. Surma - 2004 - Annals of Pure and Applied Logic 127 (1):229-242.
  16.  42
    Conference on stanisław leśniewski's achievement.Stanisław J. Surma - 1977 - Studia Logica 36 (4):247-248.
  17. Emil L. post's doctoral dissertation1.Stanislaw J. Surma - 1973 - In Stanisław J. Surma (ed.), Studies in the history of mathematical logic. Wrocław,: Zakład Narodowy im. Ossolinskich. pp. 11.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  15
    From closure-operatic deductive methodology to non-standard alternatives.Stanisław J. Surma - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw school and contemporary philosophy. Dordrecht and Boston, MA, USA: Kluwer Academic Publishers. pp. 365--377.
  19.  34
    Four studies in metamathematics.Stanisław J. Surma - 1968 - Studia Logica 23 (1):109-114.
  20.  36
    Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
    By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. On closure operators one-to-one associated with fixed object languages. Abstract.S. J. Surma - 1995 - Bulletin of Symbolic Logic 1 (3):358.
  22. Studies in the history of mathematical logic.Stanisław J. Surma (ed.) - 1973 - Wrocław,: Zakład Narodowy im. Ossolinskich.
  23. Towards an abstract theory of Lindenbaum operators. Abstract.S. J. Surma - 1996 - Bulletin of Symbolic Logic 2 (1):119-120.
  24.  18
    The Logical Work of Mordchaj Wajsberg.Stanisław J. Surma - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in logic. Boston: M. Nijhoff. pp. 101--115.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  33
    Theorems on deduction for descending implications.S. J. Surma - 1968 - Studia Logica 22 (1):78-80.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  13
    Twierdzenia O dedukcji ważne W pewnych fragmentach systemów s2 lewisa I T feysa-Von wrighta.S. J. Surma - 1973 - Studia Logica 31 (1):137-137.
  27. W duchu Tarskiego: o alternatywach teorio-dowodowej metalogiki.Stanisław J. Surma - 1993 - Filozofia Nauki 1.
    the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the (...)
    No categories
     
    Export citation  
     
    Bookmark  
  28.  27
    Reviews - J. H. Woodger. Translator's preface. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. vii–ix. - Alfred Tarski. Author's acknowledgments.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. xi–xii. - Alfred Tarski. On the primitive term of logistic. Modified English translation based on 2852–4. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 1–23. - Alfred Tarski. Foundations of the geometry of solids.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 24–29. - Alfred Tarski. On some fundamental concepts of metamathematics. English translation of 2857. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, 30–37. - Jan Łukasiewicz and Alfred Tarski. Investigations into the sentential calculus. English transl. [REVIEW]W. A. Pogorzelski & S. J. Surma - 1969 - Journal of Symbolic Logic 34 (1):99-106.
  29.  19
    Reviews. [REVIEW]Stanisław J. Surma, Ewa Orłowska, R. Murawski, Wanda Charczuk & Walenty Staszek - 1974 - Studia Logica 33 (2):215-231.
  30.  14
    Review: Mordchaj Wajsberg, Stanislaw J. Surma, Logical Works. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.
  31.  26
    Logical works, by Wajsberg Mordchaj. Edited and with an introduction by Surma Stanisław J.. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp.Surma Stanisław J.. Mordchaj Wajsberg. Life and work. Pp. 7–11.Wajsberg Mordchaj. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442 .Wajsberg Mordchaj. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372.Wajsberg Mordchaj. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373.Wajsberg Mordchaj. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374.Wajsberg Mordchaj. An extended class calculus. Pp. 50–61. English translation of 4375.Wajsberg Mordchaj. A contribution to metamathematics. Pp. 62–88. English translation of 4376.Wajsberg Mordchaj. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.
  32.  23
    Essay review.Peter Simons - 1994 - History and Philosophy of Logic 15 (2):227-235.
    stanislaw lesniewski, Collected Works, Edited by Stanislaw J. Surma, Jan T. Srzednicki and D. I. Barnett, with an annotated bibliography by V. Frederick Rickey. Warsaw:PWN?Polish Scientific Publishers; and Dordrecht, Boston, London: Kluwer. 2 vols., xvi + 794 pp. $274/£163/Dfl. 480.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Ignorance and Moral Obligation.Michael J. Zimmerman - 2014 - Oxford: Oxford University Press.
    Michael J. Zimmerman explores whether and how our ignorance about ourselves and our circumstances affects what our moral obligations and moral rights are. He rejects objective and subjective views of the nature of moral obligation, and presents a new case for a 'prospective' view.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  34. The Interpretation of the Moral Philosophy of J.S. Mill.J. O. Urmson - 1953 - [Published for the Scots Philosophical Club by the University of St. Andrews].
    No categories
     
    Export citation  
     
    Bookmark   26 citations  
  35. The interpretation of the philosophy of J. S. mill.J. O. Urmson - 1953 - Philosophical Quarterly 3 (10):33.
  36.  8
    Ethical preparedness in genomic medicine: how NHS clinical scientists navigate ethical issues.Kate Sahan, Kate Lyle, Helena Carley, Nina Hallowell, Michael J. Parker & Anneke M. Lucassen - forthcoming - Journal of Medical Ethics.
    Much has been published about the ethical issues encountered by clinicians in genetics/genomics, but those experienced by clinical laboratory scientists are less well described. Clinical laboratory scientists now frequently face navigating ethical problems in their work, but how they should be best supported to do this is underexplored. This lack of attention is also reflected in the ethics tools available to clinical laboratory scientists such as guidance and deliberative ethics forums, developed primarily to manage issues arising within the clinic.We explore (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  48
    Some remarks on three-valued logic of J. łukasiewicz.J. Słupecki, G. Bryll & T. Prucnal - 1967 - Studia Logica 21 (1):45 - 70.
  38.  11
    Celebrating J.N. Findlay’s contribution to philosophy: A comparative textual analysis from a Mahāyāna Buddhist perspective.Garth J. Mason - 2022 - HTS Theological Studies 78 (2):7.
    J.N. Findlay was a South African philosopher who published from the late 1940s into the 1980s. He had a prestigious international academic career, holding many academic posts around the world. This article uses a textual comparative approach and focuses on Findlay’s Gifford Lecture at St Andrews University between 1965 and 1970. The objective of the article is to highlight the extent to which Findlay’s philosophical writings were influenced by Mahāyāna Buddhism. Although predominantly a Platonist, Findlay drew influence from Asian philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  7
    Update on the ethical, legal and technical challenges of translating xenotransplantation.Rebecca Thom, David Ayares, David K. C. Cooper, John Dark, Sara Fovargue, Marie Fox, Michael Gusmano, Jayme Locke, Chris McGregor, Brendan Parent, Rommel Ravanan, David Shaw, Anthony Dorling & Antonia J. Cronin - forthcoming - Journal of Medical Ethics.
    This manuscript reports on a landmark symposium on the ethical, legal and technical challenges of xenotransplantation in the UK. King’s College London, with endorsement from the British Transplantation Society (BTS), and the European Society of Organ Transplantation (ESOT), brought together a group of experts in xenotransplantation science, ethics and law to discuss the ethical, regulatory and technical challenges surrounding translating xenotransplantation into the clinical setting. The symposium was the first of its kind in the UK for 20 years. This paper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  13
    Generative and active engagement in learning neuroscience: A comparison of self-derivation and rephrase.Julia T. Wilson & Patricia J. Bauer - 2024 - Cognition 245 (C):105709.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  15
    The Science of Knowing: J. G. Fichte's 1804 Lectures on the Wissenschaftslehre.J. G. Fichte & Walter E. Wright (eds.) - 2005 - State University of New York Press.
    The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Jüdische Elemente in den Werken A. Schnitzlers, F. Kafkas, J. Roths und P. Celans.J. Allerhand - 1985 - Kairos (misc) 27 (3-4):288-329.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  4
    Unceded and Unsurrendered.Mona Kahawane Stonefish, Mary J. Bunch & Dolleen Tisawii’Ashii Manning - 2023 - Chiasmi International 25:201-202.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  31
    The concise encyclopedia of Western philosophy and philosophers.J. O. Urmson (ed.) - 1960 - London: Hutchinson.
    On its first appearance in 1960, J.O. Urmson's Concise encyclopedia of Western philosophy and philosophers established itself as a classic. Its contributors included many of the leading philosophers of the English-speaking world: Ryle, Hare, Strawson, Ayer, Dummett, Williams and many others. They wrote with an authority and individuality which made the Encyclopedia into a lively and engaging introduction to philosophy as well as a convenient reference work. For this edition, supervised by Jonathan Rée, the original articles have been revised and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  44
    Reincarnation and Relativized Identity1: J. J. MACINTOSH.J. J. MacIntosh - 1989 - Religious Studies 25 (2):153-165.
    There are five main claims that may be made about life after death: We are reincarnated in the self-same body we had in life. We are reincarnated in another body. We are revived, or continue to live in a disembodied form.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. The Natural Philosophy of Time, by G. J. Whitrow. [REVIEW]J. J. C. Smart - 1963 - Philosophical Review 72 (3):405-407.
  47.  19
    Mysticism and Drugs: J. KELLENBERGER.J. Kellenberger - 1978 - Religious Studies 14 (2):175-191.
    In recent years the issue of whether mysticism can be induced by drugs has been pursued by both scholars of mystical literature and psychological researchers. R. C. Zaehner is perhaps the best known among the scholars of religious literature who have addressed the issues of drug-induced mysticism. While on the side of empirical psychology investigators such as Walter N. Pahnke, R. E. L. Masters, and Jean Houston have pursued some of the same issues using the techniques of laboratory experimentation. Zaehner, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  2
    Plasticity mechanisms of genetically distinct Purkinje cells.Stijn Voerman, Robin Broersen, Sigrid M. A. Swagemakers, Chris I. De Zeeuw & Peter J. van der Spek - 2024 - Bioessays 46 (6):2400008.
    Despite its uniform appearance, the cerebellar cortex is highly heterogeneous in terms of structure, genetics and physiology. Purkinje cells (PCs), the principal and sole output neurons of the cerebellar cortex, can be categorized into multiple populations that differentially express molecular markers and display distinctive physiological features. Such features include action potential rate, but also their propensity for synaptic and intrinsic plasticity. However, the precise molecular and genetic factors that correlate with the differential physiological properties of PCs remain elusive. In this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Défenseur de la vie sensuelle: J.-C. Powys.J. Wahl - 1939 - Revue de Métaphysique et de Morale 46:309-331.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  24
    A Bare Outpost of Learned European Culture on the Edge of the Jungles of Java.Huib J. Zuidervaart & Rob H. Van Gent - 2004 - Isis 95 (1):1-33.
    The transits of Venus in 1761 and 1769 appear to mark the starting point of instrumental science in the Dutch East Indies (now Indonesia). This essay examines the conditions that triggered and constituted instrumental and institutional science on Indonesian soil in the late eighteenth century. In 1765 the Reverend J. M. Mohr, whose wife had received a large inheritance, undertook to build a fully equipped private observatory in Batavia (now Jakarta). There he made several major astronomical and meteorological observations. Mohr’s (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 961